void USERD_set_server_number
(
    int cur_serv,
    int tot_serv
)
{
#ifdef ENSIGHTDEBUG
    Info<< "Entering: USERD_set_server_number" << endl
        << flush;
#endif

}
